[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349 }

B grade: { }

C grade: { 301 }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 47, 48, 49, 51, 52, 53, 55, 56, 57, 58, 59, 60, 61, 62, 64, 65, 66, 67, 68, 69, 70, 71, 73, 74, 76, 77, 78, 79, 80, 81, 82, 84, 85, 89, 90, 92, 93, 95, 96, 97, 98, 99, 100, 103, 104, 105, 106, 107, 108, 137, 163, 164, 165, 168, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 198, 202, 203, 204, 211, 214, 215, 216, 217, 218, 220, 221, 223, 225, 226, 227, 231, 234, 235, 236, 237, 238, 239, 240, 242, 244, 245, 246, 247, 251, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 294, 295, 296, 297, 298, 299, 300, 302, 303, 326, 342, 343, 344, 345, 349 }

B grade: { 50, 72, 224, 243, 293, 341, 346, 347, 348 }

C grade: { 46, 54, 63, 75, 83, 86, 87, 88, 91, 94, 101, 102, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 166, 167, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 205, 206, 207, 208, 209, 210, 212, 213, 219, 222, 228, 229, 230, 232, 233, 241, 248, 249, 250, 252, 253, 254, 292, 301, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340 }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 22, 23, 24, 25, 30, 31, 32, 33, 34, 38, 39, 41, 42, 43, 44, 45, 46, 47, 48, 53, 54, 55, 56, 62, 63, 64, 65, 71, 74, 75, 76, 77, 81, 82, 83, 84, 85, 89, 90, 91, 92, 93, 97, 98, 99, 100, 105, 106, 108, 137, 163, 164, 165, 166, 167, 168, 169, 172, 173, 174, 175, 178, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 198, 199, 200, 201, 202, 203, 204, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 233, 234, 235, 236, 237, 238, 239, 240, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 253, 254, 255, 256, 257, 258, 261, 262, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 277, 279, 280, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 295, 296, 349 }

B grade: { 18, 19, 26, 27, 28, 29, 35, 36, 37, 40, 49, 50, 51, 52, 57, 58, 59, 60, 61, 66, 67, 68, 69, 70, 72, 73, 78, 79, 80, 86, 87, 88, 94, 95, 96, 101, 102, 103, 104, 107, 170, 171, 176, 177, 179, 205, 206, 213, 259, 260, 263, 264, 275, 276, 278, 281, 302, 303 }

C grade: { 180, 197, 232, 241, 252, 294 }

F grade: { 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 297, 298, 299, 300, 301, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 8, 9, 10, 14, 15, 16, 43, 44, 85, 92, 93, 98, 99, 100, 108, 137, 163

B grade: { 72, 73, 97 }

C grade: { }

F grade: { 5, 6, 7, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 86, 87, 88, 89, 90, 91, 94, 95, 96, 101, 102, 103, 104, 105, 106, 107, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 16, 17, 20, 21, 22, 23, 24, 25, 30, 31, 32, 39, 43, 44, 45, 46, 47, 48, 49, 53, 54, 55, 56, 57, 58, 62, 63, 64, 65, 66, 67, 71, 74, 75, 76, 77, 81, 82, 83, 84, 85, 89, 90, 91, 92, 93, 97, 98, 99, 100, 105, 106, 137, 163, 164, 244, 349 }

B grade: { 12, 13, 18, 19, 26, 27, 28, 29, 33, 34, 35, 36, 37, 38, 40, 41, 42, 50, 51, 52, 59, 60, 61, 68, 69, 70, 73, 78, 79, 80, 86, 87, 88, 94, 95, 96, 101, 102, 103, 104, 107, 108, 146, 147, 148, 149, 160, 162, 165, 180, 224, 231, 251, 304, 305, 306, 307, 308, 309, 312, 314, 315, 316, 317, 320 }

C grade: { 313 }

F grade: { 72, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 138, 139, 140, 141, 142, 143, 144, 145, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 161, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 225, 226, 227, 228, 229, 230, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 245, 246, 247, 248, 249, 250, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 310, 311, 318, 319, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 7, 8, 9, 10, 14, 15, 16, 39, 43, 44, 47, 48, 56, 65, 74, 75, 76, 77, 84, 85, 109, 110, 111, 116, 117, 118, 122, 123, 124, 125, 131, 138, 180, 184, 185, 186, 188, 189, 190, 218, 220, 222, 224, 225, 226, 227, 231, 235, 236, 237, 246, 254, 256, 291 }

B grade: { 5, 6, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 45, 46, 53, 54, 55, 62, 63, 64, 92, 93, 99, 100, 108, 187, 221, 234 }

C grade: { 241, 245, 247, 342, 343, 344, 345 }

F grade: { 26, 34, 40, 41, 42, 49, 50, 51, 52, 57, 58, 59, 60, 61, 66, 67, 68, 69, 70, 71, 72, 73, 78, 79, 80, 81, 82, 83, 86, 87, 88, 89, 90, 91, 94, 95, 96, 97, 98, 101, 102, 103, 104, 105, 106, 107, 112, 113, 114, 115, 119, 120, 121, 126, 127, 128, 129, 130, 132, 133, 134, 135, 136, 137, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 181, 182, 183, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 219, 223, 228, 229, 230, 232, 233, 238, 239, 240, 242, 243, 244, 248, 249, 250, 251, 252, 253, 255, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 346, 347, 348, 349 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 41, 43, 44, 45, 46, 47, 48, 49, 53, 54, 55, 56, 57, 62, 63, 64, 65, 66, 74, 75, 76, 77, 78, 81, 82, 83, 84, 85, 86, 89, 90, 91, 92, 93, 97, 98, 99, 100, 101, 105, 107, 108, 180 }

B grade: { 24, 33, 42, 50, 51, 52, 58, 59, 60, 61, 67, 68, 69, 70, 71, 72, 73, 79, 80, 87, 88, 94, 95, 96, 102, 103, 104, 106, 224 }

C grade: { 231 }

F grade: { 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 225, 226, 227, 228, 229, 230, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 94 97 130 231 107 132
normalized size 1 1. 1. 1.03 1.38 2.46 1.14 1.4
time (sec) N/A 0.064 0.019 0.002 1.14 1.588 0.075 1.828
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 70 73 95 169 76 99
normalized size 1 1. 1. 1.04 1.36 2.41 1.09 1.41
time (sec) N/A 0.042 0.014 0.002 0.962 1.556 0.069 1.143
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 49 65 120 53 68
normalized size 1 1. 1. 0.98 1.3 2.4 1.06 1.36
time (sec) N/A 0.027 0.011 0.001 1.02 1.561 0.065 1.076
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 25 32 66 26 35
normalized size 1 1. 1. 0.89 1.14 2.36 0.93 1.25
time (sec) N/A 0.013 0.005 0.001 1.466 1.517 0.054 1.084
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 40 45 0 223 82 46
normalized size 1 1. 1. 1.12 0. 5.58 2.05 1.15
time (sec) N/A 0.02 0.023 0.004 0. 1.775 0.387 1.069
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 63 68 0 381 112 77
normalized size 1 1. 1. 1.08 0. 6.05 1.78 1.22
time (sec) N/A 0.02 0.044 0.007 0. 1.624 0.517 1.262
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 82 90 0 621 150 105
normalized size 1 1. 0.89 0.98 0. 6.75 1.63 1.14
time (sec) N/A 0.031 0.058 0.007 0. 1.771 0.689 1.3
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 122 125 167 296 136 177
normalized size 1 1. 1. 1.02 1.37 2.43 1.11 1.45
time (sec) N/A 0.074 0.022 0.001 0.978 1.482 0.079 1.289
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 82 87 111 209 97 123
normalized size 1 1. 1. 1.06 1.35 2.55 1.18 1.5
time (sec) N/A 0.046 0.016 0.001 0.976 1.612 0.072 1.183
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 49 65 120 53 68
normalized size 1 1. 1. 0.98 1.3 2.4 1.06 1.36
time (sec) N/A 0.028 0.007 0.001 0.987 1.473 0.063 1.241
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 59 95 0 390 172 97
normalized size 1 1. 0.94 1.51 0. 6.19 2.73 1.54
time (sec) N/A 0.043 0.048 0.003 0. 1.841 0.526 1.092
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 89 129 0 612 236 128
normalized size 1 1. 1.09 1.57 0. 7.46 2.88 1.56
time (sec) N/A 0.099 0.059 0.007 0. 1.858 0.842 1.065
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 121 147 0 921 223 170
normalized size 1 1. 1.04 1.27 0. 7.94 1.92 1.47
time (sec) N/A 0.072 0.093 0.009 0. 1.757 1.161 1.083
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 161 177 225 414 189 252
normalized size 1 1. 1.05 1.15 1.46 2.69 1.23 1.64
time (sec) N/A 0.103 0.028 0.001 1.081 1.509 0.086 1.095
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 122 125 167 296 136 177
normalized size 1 1. 1. 1.02 1.37 2.43 1.11 1.45
time (sec) N/A 0.07 0.021 0.002 0.983 1.476 0.081 1.081
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 70 73 95 169 76 99
normalized size 1 1. 1. 1.04 1.36 2.41 1.09 1.41
time (sec) N/A 0.044 0.012 0.001 0.949 1.419 0.068 1.102
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 93 161 0 613 240 176
normalized size 1 1. 0.95 1.64 0. 6.26 2.45 1.8
time (sec) N/A 0.064 0.06 0.003 0. 1.751 0.671 1.284
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 107 205 0 896 313 205
normalized size 1 1. 1. 1.92 0. 8.37 2.93 1.92
time (sec) N/A 0.096 0.058 0.01 0. 1.791 1.22 1.636
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 141 266 0 1224 422 243
normalized size 1 1. 1.08 2.05 0. 9.42 3.25 1.87
time (sec) N/A 0.165 0.078 0.01 0. 1.93 2.189 1.109
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 136 246 0 892 323 267
normalized size 1 1. 0.96 1.73 0. 6.28 2.27 1.88
time (sec) N/A 0.093 0.086 0.004 0. 1.851 0.882 1.114
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 92 161 0 613 240 174
normalized size 1 1. 0.94 1.64 0. 6.26 2.45 1.78
time (sec) N/A 0.059 0.066 0.003 0. 1.698 0.699 1.169
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 59 95 0 390 172 97
normalized size 1 1. 0.94 1.51 0. 6.19 2.73 1.54
time (sec) N/A 0.041 0.049 0.003 0. 2.086 0.538 1.123
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 40 45 0 223 82 45
normalized size 1 1. 1.03 1.15 0. 5.72 2.1 1.15
time (sec) N/A 0.015 0.025 0.003 0. 2.099 0.4 1.1
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 61 55 0 608 712 257
normalized size 1 1. 0.87 0.79 0. 8.69 10.17 3.67
time (sec) N/A 0.027 0.044 0.005 0. 2.075 2.215 1.225
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 95 144 0 1451 2033 165
normalized size 1 1. 0.87 1.32 0. 13.31 18.65 1.51
time (sec) N/A 0.084 0.168 0.009 0. 2.893 15.033 1.162
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 158 310 0 3217 0 293
normalized size 1 1. 0.99 1.94 0. 20.11 0. 1.83
time (sec) N/A 0.192 0.233 0.01 0. 6.807 0. 1.211
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 192 402 0 1675 498 413
normalized size 1 1. 1. 2.09 0. 8.72 2.59 2.15
time (sec) N/A 0.163 0.098 0.009 0. 1.811 2.288 1.169
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 142 296 0 1261 398 297
normalized size 1 1. 1. 2.08 0. 8.88 2.8 2.09
time (sec) N/A 0.12 0.087 0.009 0. 1.783 1.708 1.122
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 106 205 0 896 313 205
normalized size 1 1. 1. 1.93 0. 8.45 2.95 1.93
time (sec) N/A 0.093 0.06 0.008 0. 1.818 1.238 1.159
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 88 129 0 612 236 127
normalized size 1 1. 1.07 1.57 0. 7.46 2.88 1.55
time (sec) N/A 0.104 0.063 0.008 0. 1.796 0.862 1.154
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 63 68 0 381 112 77
normalized size 1 1. 1. 1.08 0. 6.05 1.78 1.22
time (sec) N/A 0.021 0.044 0.005 0. 1.847 0.533 1.172
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 109 144 0 1451 2033 163
normalized size 1 1. 1.01 1.33 0. 13.44 18.82 1.51
time (sec) N/A 0.081 0.145 0.008 0. 2.421 15.387 1.111
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 136 238 0 3294 3662 1928
normalized size 1 1. 0.81 1.43 0. 19.72 21.93 11.54
time (sec) N/A 0.201 0.314 0.013 0. 6.509 141.098 1.501
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 230 230 197 403 0 6472 0 448
normalized size 1 1. 0.86 1.75 0. 28.14 0. 1.95
time (sec) N/A 0.309 0.414 0.014 0. 22.834 0. 1.123
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 196 484 0 2195 614 459
normalized size 1 1. 1. 2.47 0. 11.2 3.13 2.34
time (sec) N/A 0.227 0.122 0.013 0. 1.609 6.524 1.133
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 160 367 0 1689 513 343
normalized size 1 1. 1. 2.29 0. 10.56 3.21 2.14
time (sec) N/A 0.197 0.095 0.01 0. 1.765 3.717 1.107
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 139 266 0 1224 422 240
normalized size 1 1. 1.07 2.05 0. 9.42 3.25 1.85
time (sec) N/A 0.166 0.08 0.009 0. 1.865 2.189 1.107
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 124 147 0 918 223 170
normalized size 1 1. 1.07 1.27 0. 7.91 1.92 1.47
time (sec) N/A 0.077 0.095 0.008 0. 1.877 1.191 1.18
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 84 89 0 621 150 105
normalized size 1 1. 0.91 0.97 0. 6.75 1.63 1.14
time (sec) N/A 0.033 0.063 0.007 0. 1.606 0.714 1.195
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 158 309 0 3212 0 294
normalized size 1 1. 0.98 1.92 0. 19.95 0. 1.83
time (sec) N/A 0.197 0.265 0.01 0. 6.134 0. 1.148
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 236 236 197 403 0 6472 0 450
normalized size 1 1. 0.83 1.71 0. 27.42 0. 1.91
time (sec) N/A 0.311 0.417 0.014 0. 23.112 0. 1.135
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 315 315 233 568 0 9997 0 4545
normalized size 1 1. 0.74 1.8 0. 31.74 0. 14.43
time (sec) N/A 0.451 0.915 0.015 0. 72.782 0. 1.884
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 24 23 45 73 31 27
normalized size 1 1. 0.71 0.68 1.32 2.15 0.91 0.79
time (sec) N/A 0.01 0.007 0.005 1.024 1.485 0.127 1.093
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 41 33 65 159 46 73
normalized size 1 1. 0.87 0.7 1.38 3.38 0.98 1.55
time (sec) N/A 0.016 0.012 0.007 1.46 1.532 0.157 1.444
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 181 310 0 886 484 271
normalized size 1 1. 0.78 1.34 0. 3.84 2.1 1.17
time (sec) N/A 0.179 5.108 0.013 0. 2.334 17.983 1.808
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A B A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 149 149 160 190 0 585 291 174
normalized size 1 1. 1.07 1.28 0. 3.93 1.95 1.17
time (sec) N/A 0.088 2.476 0.006 0. 1.816 10.179 1.144
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 85 96 0 371 144 95
normalized size 1 1. 0.98 1.1 0. 4.26 1.66 1.09
time (sec) N/A 0.028 0.155 0.005 0. 1.651 5.138 1.14
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 49 36 0 232 41 50
normalized size 1 1. 1.07 0.78 0. 5.04 0.89 1.09
time (sec) N/A 0.01 0.02 0. 0. 1.571 1.799 1.109
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 84 932 0 1288 0 150
normalized size 1 1. 1.02 11.37 0. 15.71 0. 1.83
time (sec) N/A 0.054 0.045 0.033 0. 1.918 0. 1.136
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F B F B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 82 82 165 2521 0 765 0 293
normalized size 1 1. 2.01 30.74 0. 9.33 0. 3.57
time (sec) N/A 0.034 0.231 0.024 0. 2.137 0. 3.031
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 176 5101 0 1439 0 657
normalized size 1 1. 1.18 34.23 0. 9.66 0. 4.41
time (sec) N/A 0.094 0.528 0.022 0. 2.616 0. 2.521
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 227 7922 0 2485 0 1293
normalized size 1 1. 1.09 38.09 0. 11.95 0. 6.22
time (sec) N/A 0.213 0.957 0.026 0. 6.191 0. 21.984
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 272 272 220 393 0 1102 665 351
normalized size 1 1. 0.81 1.44 0. 4.05 2.44 1.29
time (sec) N/A 0.218 5.124 0.012 0. 3.016 45.902 1.112
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A B A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 196 196 157 249 0 776 440 236
normalized size 1 1. 0.8 1.27 0. 3.96 2.24 1.2
time (sec) N/A 0.116 2.509 0.007 0. 2.065 26.204 1.104
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 109 131 0 483 253 139
normalized size 1 1. 0.92 1.11 0. 4.09 2.14 1.18
time (sec) N/A 0.04 0.199 0.003 0. 1.729 13.238 1.107
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 65 51 0 294 70 66
normalized size 1 1. 1. 0.78 0. 4.52 1.08 1.02
time (sec) N/A 0.016 0.093 0. 0. 1.632 2.971 1.082
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 110 1845 0 1582 0 205
normalized size 1 1. 0.97 16.33 0. 14. 0. 1.81
time (sec) N/A 0.108 0.195 0.014 0. 2.982 0. 1.135
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 142 4621 0 1941 0 428
normalized size 1 1. 1.08 35.27 0. 14.82 0. 3.27
time (sec) N/A 0.09 0.121 0.016 0. 2.781 0. 1.165
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 113 113 163 9059 0 1072 0 609
normalized size 1 1. 1.44 80.17 0. 9.49 0. 5.39
time (sec) N/A 0.057 0.67 0.022 0. 2.515 0. 2.304
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 247 13766 0 1994 0 1241
normalized size 1 1. 1.24 69.18 0. 10.02 0. 6.24
time (sec) N/A 0.115 0.775 0.03 0. 3.951 0. 20.881
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 300 300 362 18791 0 3330 0 2102
normalized size 1 1. 1.21 62.64 0. 11.1 0. 7.01
time (sec) N/A 0.365 1.33 0.038 0. 15.271 0. 6.296
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 349 349 270 476 0 1385 796 433
normalized size 1 1. 0.77 1.36 0. 3.97 2.28 1.24
time (sec) N/A 0.247 5.173 0.015 0. 4.512 87.831 1.188
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A B A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 241 241 158 308 0 963 537 298
normalized size 1 1. 0.66 1.28 0. 4. 2.23 1.24
time (sec) N/A 0.148 2.624 0.007 0. 2.996 50.966 1.176
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 130 166 0 605 316 182
normalized size 1 1. 0.87 1.11 0. 4.06 2.12 1.22
time (sec) N/A 0.052 0.222 0.003 0. 2.243 26.27 1.153
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 76 66 0 347 97 85
normalized size 1 1. 0.9 0.79 0. 4.13 1.15 1.01
time (sec) N/A 0.023 0.103 0.001 0. 1.635 4.188 1.141
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 157 157 140 3053 0 2022 0 290
normalized size 1 1. 0.89 19.45 0. 12.88 0. 1.85
time (sec) N/A 0.199 0.121 0.014 0. 8.09 0. 1.166
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 175 144 7345 0 2584 0 547
normalized size 1 1. 0.82 41.97 0. 14.77 0. 3.13
time (sec) N/A 0.226 0.16 0.02 0. 6.335 0. 1.24
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 184 14133 0 3125 0 890
normalized size 1 1. 0.95 72.85 0. 16.11 0. 4.59
time (sec) N/A 0.194 0.193 0.026 0. 4.266 0. 1.234
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 144 144 201 21220 0 1438 0 1142
normalized size 1 1. 1.4 147.36 0. 9.99 0. 7.93
time (sec) N/A 0.073 0.778 0.033 0. 3.205 0. 22.01
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 249 249 306 28625 0 2612 0 1955
normalized size 1 1. 1.23 114.96 0. 10.49 0. 7.85
time (sec) N/A 0.137 1.008 0.048 0. 8.07 0. 4.835
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 33 0 111 0 128
normalized size 1 1. 1. 1.1 0. 3.7 0. 4.27
time (sec) N/A 0.014 0.028 0.011 0. 1.52 0. 1.219
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 64 84 80 0 0 95
normalized size 1 1. 2.37 3.11 2.96 0. 0. 3.52
time (sec) N/A 0.014 0.025 0.008 1.483 0. 0. 1.196
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 187 149 192 0 159
normalized size 1 1. 1. 7.48 5.96 7.68 0. 6.36
time (sec) N/A 0.013 0.01 0.029 1.511 1.568 0. 1.141
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 140 228 0 675 400 203
normalized size 1 1. 0.83 1.35 0. 3.99 2.37 1.2
time (sec) N/A 0.145 5.094 0.012 0. 1.859 11.967 1.166
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A A A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 108 108 160 131 0 440 238 122
normalized size 1 1. 1.48 1.21 0. 4.07 2.2 1.13
time (sec) N/A 0.056 2.356 0.006 0. 1.667 6.267 1.122
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 57 62 0 275 126 66
normalized size 1 1. 0.98 1.07 0. 4.74 2.17 1.14
time (sec) N/A 0.017 0.02 0.004 0. 1.604 2.506 1.121
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 21 0 153 17 31
normalized size 1 1. 1. 0.84 0. 6.12 0.68 1.24
time (sec) N/A 0.006 0.005 0.002 0. 1.579 0.993 1.17
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 49 300 0 513 0 95
normalized size 1 1. 1. 6.12 0. 10.47 0. 1.94
time (sec) N/A 0.022 0.018 0.013 0. 1.991 0. 1.143
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 126 809 0 957 0 327
normalized size 1 1. 1.25 8.01 0. 9.48 0. 3.24
time (sec) N/A 0.049 0.287 0.015 0. 2.768 0. 1.186
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 192 1815 0 1750 0 726
normalized size 1 1. 1.18 11.13 0. 10.74 0. 4.45
time (sec) N/A 0.119 0.622 0.02 0. 4.639 0. 3.546
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 172 340 0 1272 0 317
normalized size 1 1. 0.67 1.32 0. 4.95 0. 1.23
time (sec) N/A 0.259 5.196 0.017 0. 2.327 0. 1.155
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 122 219 0 888 0 212
normalized size 1 1. 0.72 1.3 0. 5.25 0. 1.25
time (sec) N/A 0.197 5.097 0.008 0. 1.81 0. 1.161
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 90 105 160 123 0 597 0 124
normalized size 1 1.17 1.78 1.37 0. 6.63 0. 1.38
time (sec) N/A 0.062 2.369 0.006 0. 1.638 0. 1.117
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 70 54 0 367 60 68
normalized size 1 1. 1.3 1. 0. 6.8 1.11 1.26
time (sec) N/A 0.017 0.058 0.004 0. 1.545 3.704 1.176
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 15 19 47 17 19
normalized size 1 1. 1. 0.94 1.19 2.94 1.06 1.19
time (sec) N/A 0.002 0.003 0.002 0.976 1.491 0.534 1.147
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) B F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 309 618 0 911 0 144
normalized size 1 1. 3.91 7.82 0. 11.53 0. 1.82
time (sec) N/A 0.039 0.682 0.013 0. 2.362 0. 1.141
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F B F(-2) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 143 143 758 1439 0 1706 0 429
normalized size 1 1. 5.3 10.06 0. 11.93 0. 3.
time (sec) N/A 0.109 2.528 0.017 0. 4.487 0. 5.46
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F B F(-2) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 225 225 1392 2919 0 2967 0 868
normalized size 1 1. 6.19 12.97 0. 13.19 0. 3.86
time (sec) N/A 0.243 4.771 0.02 0. 9.686 0. 14.873
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 157 351 0 1430 0 320
normalized size 1 1. 0.62 1.38 0. 5.61 0. 1.25
time (sec) N/A 0.245 5.162 0.02 0. 2.787 0. 1.189
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 125 228 0 1008 0 213
normalized size 1 1. 0.73 1.33 0. 5.86 0. 1.24
time (sec) N/A 0.157 5.097 0.007 0. 1.964 0. 1.169
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 105 105 214 136 0 655 0 139
normalized size 1 1. 2.04 1.3 0. 6.24 0. 1.32
time (sec) N/A 0.05 4.135 0.006 0. 1.651 0. 1.166
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 37 34 92 115 144 54
normalized size 1 1. 0.79 0.72 1.96 2.45 3.06 1.15
time (sec) N/A 0.01 0.016 0.003 0.96 1.545 10.792 1.119
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 29 26 42 99 95 36
normalized size 1 1. 0.74 0.67 1.08 2.54 2.44 0.92
time (sec) N/A 0.006 0.006 0.003 0.96 1.541 0.783 1.139
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) B F B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 122 122 775 1070 0 1530 0 432
normalized size 1 1. 6.35 8.77 0. 12.54 0. 3.54
time (sec) N/A 0.103 2.628 0.014 0. 4.241 0. 1.179
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 202 170 2371 0 2849 0 837
normalized size 1 1. 0.84 11.74 0. 14.1 0. 4.14
time (sec) N/A 0.228 5.482 0.02 0. 9.31 0. 7.721
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 313 313 221 4495 0 4520 0 1364
normalized size 1 1. 0.71 14.36 0. 14.44 0. 4.36
time (sec) N/A 0.4 5.653 0.024 0. 35.954 0. 3.709
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 163 190 628 487 0 294
normalized size 1 1. 0.73 0.85 2.8 2.17 0. 1.31
time (sec) N/A 0.101 0.101 0.007 1.059 3.349 0. 1.172
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 107 115 336 319 0 186
normalized size 1 1. 0.61 0.66 1.93 1.83 0. 1.07
time (sec) N/A 0.071 0.064 0.006 1.014 1.946 0. 1.255
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 59 57 139 185 566 97
normalized size 1 1. 0.65 0.63 1.53 2.03 6.22 1.07
time (sec) N/A 0.029 0.022 0.003 0.97 1.559 36.603 1.177
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 29 26 42 99 95 36
normalized size 1 1. 0.74 0.67 1.08 2.54 2.44 0.92
time (sec) N/A 0.006 0.009 0.002 0.952 1.492 0.792 1.161
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-2) B F A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 236 628 0 914 0 144
normalized size 1 1. 2.99 7.95 0. 11.57 0. 1.82
time (sec) N/A 0.046 2.59 0.033 0. 2.307 0. 1.17
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F B F(-2) B
verified N/A Yes NO TBD TBD TBD TBD TBD
size 100 100 405 823 0 954 0 304
normalized size 1 1. 4.05 8.23 0. 9.54 0. 3.04
time (sec) N/A 0.055 0.757 0.024 0. 2.618 0. 1.186
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 130 5177 0 1439 0 657
normalized size 1 1. 0.87 34.74 0. 9.66 0. 4.41
time (sec) N/A 0.079 5.17 0.028 0. 2.896 0. 3.775
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 179 13964 0 1994 0 1241
normalized size 1 1. 0.9 70.17 0. 10.02 0. 6.24
time (sec) N/A 0.113 5.268 0.044 0. 4.26 0. 23.152
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 19 0 55 0 24
normalized size 1 1. 1. 0.95 0. 2.75 0. 1.2
time (sec) N/A 0.005 0.007 0.003 0. 1.502 0. 1.117
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 28 0 69 0 69
normalized size 1 1. 1. 1.12 0. 2.76 0. 2.76
time (sec) N/A 0.008 0.005 0.003 0. 1.508 0. 1.146
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 49 306 0 513 0 95
normalized size 1 1. 1. 6.24 0. 10.47 0. 1.94
time (sec) N/A 0.02 0.014 0.009 0. 1.999 0. 1.107
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 108 31 34
normalized size 1 1. 1. 0.93 1.2 7.2 2.07 2.27
time (sec) N/A 0.004 0.012 0.006 1.458 1.514 3.453 1.085
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 648 648 99 0 0 0 136 0
normalized size 1 1. 0.15 0. 0. 0. 0.21 0.
time (sec) N/A 0.597 5.047 0.032 0. 0. 4.06 0.
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 617 617 176 0 0 0 99 0
normalized size 1 1. 0.29 0. 0. 0. 0.16 0.
time (sec) N/A 0.426 3.225 0.026 0. 0. 2.909 0.
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 588 588 62 0 0 0 63 0
normalized size 1 1. 0.11 0. 0. 0. 0.11 0.
time (sec) N/A 0.369 0.072 0.023 0. 0. 2.026 0.
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 740 740 162 0 0 0 0 0
normalized size 1 1. 0.22 0. 0. 0. 0. 0.
time (sec) N/A 0.321 0.15 0.047 0. 0. 0. 0.
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 584 584 86 0 0 0 0 0
normalized size 1 1. 0.15 0. 0. 0. 0. 0.
time (sec) N/A 0.374 0.057 0.055 0. 0. 0. 0.
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 818 818 252 0 0 0 0 0
normalized size 1 1. 0.31 0. 0. 0. 0. 0.
time (sec) N/A 0.56 0.311 0.049 0. 0. 0. 0.
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 849 849 265 0 0 0 0 0
normalized size 1 1. 0.31 0. 0. 0. 0. 0.
time (sec) N/A 0.651 0.181 0.056 0. 0. 0. 0.
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 668 668 110 0 0 0 139 0
normalized size 1 1. 0.16 0. 0. 0. 0.21 0.
time (sec) N/A 0.571 5.049 0.03 0. 0. 6.248 0.
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 637 637 173 0 0 0 131 0
normalized size 1 1. 0.27 0. 0. 0. 0.21 0.
time (sec) N/A 0.484 2.775 0.027 0. 0. 4.907 0.
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 608 608 68 0 0 0 100 0
normalized size 1 1. 0.11 0. 0. 0. 0.16 0.
time (sec) N/A 0.42 0.062 0.024 0. 0. 3.478 0.
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 765 765 231 0 0 0 0 0
normalized size 1 1. 0.3 0. 0. 0. 0. 0.
time (sec) N/A 0.444 0.133 0.06 0. 0. 0. 0.
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 775 775 235 0 0 0 0 0
normalized size 1 1. 0.3 0. 0. 0. 0. 0.
time (sec) N/A 0.437 0.14 0.047 0. 0. 0. 0.
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 815 815 252 0 0 0 0 0
normalized size 1 1. 0.31 0. 0. 0. 0. 0.
time (sec) N/A 0.613 0.22 0.048 0. 0. 0. 0.
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 659 659 98 0 0 0 165 0
normalized size 1 1. 0.15 0. 0. 0. 0.25 0.
time (sec) N/A 0.527 5.056 0.03 0. 0. 4.46 0.
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 628 628 88 0 0 0 129 0
normalized size 1 1. 0.14 0. 0. 0. 0.21 0.
time (sec) N/A 0.44 5.047 0.026 0. 0. 3.454 0.
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 597 597 158 0 0 0 94 0
normalized size 1 1. 0.26 0. 0. 0. 0.16 0.
time (sec) N/A 0.381 4.433 0.025 0. 0. 2.547 0.
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 568 568 62 0 0 0 60 0
normalized size 1 1. 0.11 0. 0. 0. 0.11 0.
time (sec) N/A 0.305 0.024 0.023 0. 0. 1.569 0.
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 204 204 162 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.029 0.039 0. 0. 0. 0.
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 787 787 234 0 0 0 0 0
normalized size 1 1. 0.3 0. 0. 0. 0. 0.
time (sec) N/A 0.439 0.153 0.045 0. 0. 0. 0.
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 818 818 255 0 0 0 0 0
normalized size 1 1. 0.31 0. 0. 0. 0. 0.
time (sec) N/A 0.543 0.162 0.045 0. 0. 0. 0.
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 623 623 76 0 0 0 0 0
normalized size 1 1. 0.12 0. 0. 0. 0. 0.
time (sec) N/A 0.435 5.05 0.057 0. 0. 0. 0.
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 592 592 62 0 0 0 0 0
normalized size 1 1. 0.1 0. 0. 0. 0. 0.
time (sec) N/A 0.368 5.044 0.051 0. 0. 0. 0.
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 561 561 53 0 0 0 60 0
normalized size 1 1. 0.09 0. 0. 0. 0.11 0.
time (sec) N/A 0.304 0.017 0.024 0. 0. 3.801 0.
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 776 776 226 0 0 0 0 0
normalized size 1 1. 0.29 0. 0. 0. 0. 0.
time (sec) N/A 0.443 0.129 0.041 0. 0. 0. 0.
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 807 807 236 0 0 0 0 0
normalized size 1 1. 0.29 0. 0. 0. 0. 0.
time (sec) N/A 0.534 0.172 0.046 0. 0. 0. 0.
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 849 849 256 0 0 0 0 0
normalized size 1 1. 0.3 0. 0. 0. 0. 0.
time (sec) N/A 0.653 0.23 0.046 0. 0. 0. 0.
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 653 653 96 0 0 0 0 0
normalized size 1 1. 0.15 0. 0. 0. 0. 0.
time (sec) N/A 0.512 5.071 0.064 0. 0. 0. 0.
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 596 596 83 0 0 0 0 0
normalized size 1 1. 0.14 0. 0. 0. 0. 0.
time (sec) N/A 0.426 5.067 0.048 0. 0. 0. 0.
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 24 24 45 90 0 0
normalized size 1 1. 0.55 0.55 1.02 2.05 0. 0.
time (sec) N/A 0.017 5.026 0.004 1.14 1.774 0. 0.
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 590 590 74 0 0 0 60 0
normalized size 1 1. 0.13 0. 0. 0. 0.1 0.
time (sec) N/A 0.366 0.038 0.023 0. 0. 11.292 0.
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 796 796 248 0 0 0 0 0
normalized size 1 1. 0.31 0. 0. 0. 0. 0.
time (sec) N/A 0.537 0.206 0.042 0. 0. 0. 0.
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 827 827 259 0 0 0 0 0
normalized size 1 1. 0.31 0. 0. 0. 0. 0.
time (sec) N/A 0.634 0.241 0.046 0. 0. 0. 0.
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 252 252 163 0 0 0 0 0
normalized size 1 1. 0.65 0. 0. 0. 0. 0.
time (sec) N/A 0.073 0.124 0.044 0. 0. 0. 0.
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 202 202 166 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.151 0.046 0. 0. 0. 0.
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 204 204 153 0 0 0 0 0
normalized size 1 1. 0.75 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.148 0.046 0. 0. 0. 0.
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 204 204 162 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.03 0. 0. 0. 0. 0.
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 204 204 156 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.151 0.043 0. 0. 0. 0.
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 113 113 118 0 0 5544 0 0
normalized size 1 1. 1.04 0. 0. 49.06 0. 0.
time (sec) N/A 0.021 0.04 0.001 0. 10.867 0. 0.
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 124 0 0 4852 0 0
normalized size 1 1. 1.14 0. 0. 44.51 0. 0.
time (sec) N/A 0.014 0.035 0. 0. 8.789 0. 0.
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 96 96 143 0 0 775 0 0
normalized size 1 1. 1.49 0. 0. 8.07 0. 0.
time (sec) N/A 0.018 0.144 0.035 0. 54.84 0. 0.
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 95 95 143 0 0 911 0 0
normalized size 1 1. 1.51 0. 0. 9.59 0. 0.
time (sec) N/A 0.017 0.098 0.034 0. 55.362 0. 0.
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 151 151 169 0 0 0 0 0
normalized size 1 1. 1.12 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.162 0.044 0. 0. 0. 0.
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 153 153 167 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.17 0.044 0. 0. 0. 0.
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 151 151 168 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.122 0.043 0. 0. 0. 0.
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 153 153 172 0 0 0 0 0
normalized size 1 1. 1.12 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.159 0.042 0. 0. 0. 0.
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 151 151 148 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.146 0.043 0. 0. 0. 0.
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 147 147 148 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.024 0.162 0.043 0. 0. 0. 0.
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 123 123 136 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.113 0.028 0. 0. 0. 0.
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 123 123 136 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.119 0.049 0. 0. 0. 0.
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 119 119 136 0 0 0 0 0
normalized size 1 1. 1.14 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.101 0.051 0. 0. 0. 0.
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 119 119 136 0 0 0 0 0
normalized size 1 1. 1.14 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.107 0.027 0. 0. 0. 0.
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 70 70 124 0 0 4397 0 0
normalized size 1 1. 1.77 0. 0. 62.81 0. 0.
time (sec) N/A 0.009 0.093 0.027 0. 14.661 0. 0.
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 104 104 137 0 0 0 0 0
normalized size 1 1. 1.32 0. 0. 0. 0. 0.
time (sec) N/A 0.016 0.108 0.037 0. 0. 0. 0.
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 74 74 125 0 0 749 0 0
normalized size 1 1. 1.69 0. 0. 10.12 0. 0.
time (sec) N/A 0.011 0.045 0.046 0. 6.559 0. 0.
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 91 57 94 95 662 0 0
normalized size 1 1.15 0.72 1.19 1.2 8.38 0. 0.
time (sec) N/A 0.019 0.026 0.02 0.99 2.31 0. 0.
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 91 54 94 0 645 0 0
normalized size 1 1.23 0.73 1.27 0. 8.72 0. 0.
time (sec) N/A 0.018 0.019 0.016 0. 2.327 0. 0.
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 91 57 94 0 664 0 0
normalized size 1 1.2 0.75 1.24 0. 8.74 0. 0.
time (sec) N/A 0.017 0.029 0.014 0. 2.038 0. 0.
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 328 328 243 543 0 0 0 0
normalized size 1 1. 0.74 1.66 0. 0. 0. 0.
time (sec) N/A 0.316 0.448 0.033 0. 0. 0. 0.
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 249 249 198 328 0 0 0 0
normalized size 1 1. 0.8 1.32 0. 0. 0. 0.
time (sec) N/A 0.179 0.238 0.012 0. 0. 0. 0.
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 86 101 0 0 0 0
normalized size 1 1. 0.42 0.5 0. 0. 0. 0.
time (sec) N/A 0.093 0.05 0.013 0. 0. 0. 0.
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 133 181 0 0 0 0
normalized size 1 1. 1.58 2.15 0. 0. 0. 0.
time (sec) N/A 0.017 0.279 0.031 0. 0. 0. 0.
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 243 617 0 0 0 0
normalized size 1 1. 1.03 2.6 0. 0. 0. 0.
time (sec) N/A 0.12 0.444 0.036 0. 0. 0. 0.
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 309 309 285 1411 0 0 0 0
normalized size 1 1. 0.92 4.57 0. 0. 0. 0.
time (sec) N/A 0.228 0.531 0.042 0. 0. 0. 0.
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 410 410 302 780 0 0 0 0
normalized size 1 1. 0.74 1.9 0. 0. 0. 0.
time (sec) N/A 0.439 0.583 0.018 0. 0. 0. 0.
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 336 336 246 545 0 0 0 0
normalized size 1 1. 0.73 1.62 0. 0. 0. 0.
time (sec) N/A 0.281 0.41 0.014 0. 0. 0. 0.
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 273 273 199 330 0 0 0 0
normalized size 1 1. 0.73 1.21 0. 0. 0. 0.
time (sec) N/A 0.165 0.226 0.014 0. 0. 0. 0.
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 267 267 191 332 0 0 0 0
normalized size 1 1. 0.72 1.24 0. 0. 0. 0.
time (sec) N/A 0.159 0.27 0.021 0. 0. 0. 0.
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 229 232 607 0 0 0 0
normalized size 1 1. 1.01 2.65 0. 0. 0. 0.
time (sec) N/A 0.136 0.462 0.021 0. 0. 0. 0.
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 315 315 285 1414 0 0 0 0
normalized size 1 1. 0.9 4.49 0. 0. 0. 0.
time (sec) N/A 0.282 0.58 0.027 0. 0. 0. 0.
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 235 235 127 303 0 0 0 0
normalized size 1 1. 0.54 1.29 0. 0. 0. 0.
time (sec) N/A 0.135 0.107 0.028 0. 0. 0. 0.
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 22 75 0 0 0 0
normalized size 1 1. 0.58 1.97 0. 0. 0. 0.
time (sec) N/A 0.009 0.012 0.026 0. 0. 0. 0.
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 15 38 0 85 17 23
normalized size 1 1. 0.75 1.9 0. 4.25 0.85 1.15
time (sec) N/A 0.004 0.002 0.001 0. 1.766 6.094 1.088
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 182 182 37 37 0 0 0 0
normalized size 1 1. 0.2 0.2 0. 0. 0. 0.
time (sec) N/A 0.081 0.008 0.016 0. 0. 0. 0.
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 60 78 0 0 0 0
normalized size 1 1. 0.66 0.86 0. 0. 0. 0.
time (sec) N/A 0.058 0.038 0.022 0. 0. 0. 0.
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 60 53 0 0 0 0
normalized size 1 1. 0.4 0.35 0. 0. 0. 0.
time (sec) N/A 0.059 0.031 0.025 0. 0. 0. 0.
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 23 0 0 34 0
normalized size 1 1. 1. 1.15 0. 0. 1.7 0.
time (sec) N/A 0.007 0.006 0.015 0. 0. 4.218 0.
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 18 0 0 36 0
normalized size 1 1. 1. 0.86 0. 0. 1.71 0.
time (sec) N/A 0.008 0.004 0.027 0. 0. 4.431 0.
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 29 0 0 34 0
normalized size 1 1. 1. 1.45 0. 0. 1.7 0.
time (sec) N/A 0.007 0.005 0.02 0. 0. 4.341 0.
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 4 4 4 5 0 0 10 0
normalized size 1 1. 1. 1.25 0. 0. 2.5 0.
time (sec) N/A 0.005 0.003 0.012 0. 0. 2.138 0.
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 19 0 0 36 0
normalized size 1 1. 1. 0.95 0. 0. 1.8 0.
time (sec) N/A 0.006 0.004 0.016 0. 0. 4.351 0.
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 19 0 0 37 0
normalized size 1 1. 1. 0.9 0. 0. 1.76 0.
time (sec) N/A 0.006 0.004 0.018 0. 0. 4.514 0.
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 19 0 0 36 0
normalized size 1 1. 1. 0.95 0. 0. 1.8 0.
time (sec) N/A 0.007 0.005 0.023 0. 0. 4.464 0.
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 12 14 0 0 0 0
normalized size 1 1. 0.92 1.08 0. 0. 0. 0.
time (sec) N/A 0.014 0.003 0.008 0. 0. 0. 0.
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 27 27 0 0 0 0
normalized size 1 1. 0.87 0.87 0. 0. 0. 0.
time (sec) N/A 0.02 0.005 0.014 0. 0. 0. 0.
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 27 31 0 0 0 0
normalized size 1 1. 0.77 0.89 0. 0. 0. 0.
time (sec) N/A 0.021 0.004 0.023 0. 0. 0. 0.
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 27 31 0 0 0 0
normalized size 1 1. 0.77 0.89 0. 0. 0. 0.
time (sec) N/A 0.02 0.004 0.018 0. 0. 0. 0.
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 27 30 0 0 0 0
normalized size 1 1. 0.21 0.23 0. 0. 0. 0.
time (sec) N/A 0.041 0.004 0.015 0. 0. 0. 0.
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 27 26 0 0 0 0
normalized size 1 1. 0.2 0.19 0. 0. 0. 0.
time (sec) N/A 0.044 0.004 0.013 0. 0. 0. 0.
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 27 20 0 0 0 0
normalized size 1 1. 0.18 0.14 0. 0. 0. 0.
time (sec) N/A 0.05 0.005 0.023 0. 0. 0. 0.
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 35 32 0 0 0 0
normalized size 1 1. 0.88 0.8 0. 0. 0. 0.
time (sec) N/A 0.015 0.024 0.01 0. 0. 0. 0.
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 423 423 321 852 0 0 0 0
normalized size 1 1. 0.76 2.01 0. 0. 0. 0.
time (sec) N/A 0.431 1.489 0.023 0. 0. 0. 0.
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 344 344 260 615 0 0 0 0
normalized size 1 1. 0.76 1.79 0. 0. 0. 0.
time (sec) N/A 0.283 0.478 0.017 0. 0. 0. 0.
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 260 260 216 399 0 0 0 0
normalized size 1 1. 0.83 1.53 0. 0. 0. 0.
time (sec) N/A 0.16 0.336 0.015 0. 0. 0. 0.
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 86 158 0 0 0 0
normalized size 1 1. 0.44 0.81 0. 0. 0. 0.
time (sec) N/A 0.09 0.05 0.012 0. 0. 0. 0.
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 86 100 0 0 0 0
normalized size 1 1. 0.99 1.15 0. 0. 0. 0.
time (sec) N/A 0.019 0.055 0.015 0. 0. 0. 0.
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 273 273 112 248 0 0 0 0
normalized size 1 1. 0.41 0.91 0. 0. 0. 0.
time (sec) N/A 0.143 0.236 0.024 0. 0. 0. 0.
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 261 752 0 0 0 0
normalized size 1 1. 1.02 2.95 0. 0. 0. 0.
time (sec) N/A 0.146 0.592 0.028 0. 0. 0. 0.
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 334 334 301 1607 0 0 0 0
normalized size 1 1. 0.9 4.81 0. 0. 0. 0.
time (sec) N/A 0.278 0.621 0.031 0. 0. 0. 0.
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 445 445 318 755 0 0 0 0
normalized size 1 1. 0.71 1.7 0. 0. 0. 0.
time (sec) N/A 0.405 1.185 0.043 0. 0. 0. 0.
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 346 346 256 539 0 0 0 0
normalized size 1 1. 0.74 1.56 0. 0. 0. 0.
time (sec) N/A 0.266 0.454 0.023 0. 0. 0. 0.
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 258 258 196 345 0 0 0 0
normalized size 1 1. 0.76 1.34 0. 0. 0. 0.
time (sec) N/A 0.152 0.279 0.02 0. 0. 0. 0.
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 136 188 0 0 0 0
normalized size 1 1. 1.62 2.24 0. 0. 0. 0.
time (sec) N/A 0.017 0.307 0.015 0. 0. 0. 0.
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 112 144 0 0 0 0
normalized size 1 1. 0.58 0.74 0. 0. 0. 0.
time (sec) N/A 0.152 0.231 0.022 0. 0. 0. 0.
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 242 242 224 354 0 0 0 0
normalized size 1 1. 0.93 1.46 0. 0. 0. 0.
time (sec) N/A 0.12 0.673 0.024 0. 0. 0. 0.
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 323 323 337 964 0 0 0 0
normalized size 1 1. 1.04 2.98 0. 0. 0. 0.
time (sec) N/A 0.264 1.034 0.031 0. 0. 0. 0.
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 86 100 0 0 0 0
normalized size 1 1. 0.99 1.15 0. 0. 0. 0.
time (sec) N/A 0.019 0.055 0. 0. 0. 0. 0.
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 87 106 0 0 0 0
normalized size 1 1. 1. 1.22 0. 0. 0. 0.
time (sec) N/A 0.054 0.061 0.033 0. 0. 0. 0.
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 89 106 0 0 0 0
normalized size 1 1. 1.02 1.22 0. 0. 0. 0.
time (sec) N/A 0.052 0.065 0.028 0. 0. 0. 0.
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 88 108 0 0 0 0
normalized size 1 1. 1. 1.23 0. 0. 0. 0.
time (sec) N/A 0.057 0.061 0.026 0. 0. 0. 0.
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 14 0 0 19 0
normalized size 1 1. 1. 1.17 0. 0. 1.58 0.
time (sec) N/A 0.007 0.005 0.026 0. 0. 4.443 0.
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 58 14 0 0 0 0
normalized size 1 1. 5.8 1.4 0. 0. 0. 0.
time (sec) N/A 0.007 0.03 0.023 0. 0. 0. 0.
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 14 0 0 19 0
normalized size 1 1. 1. 1.17 0. 0. 1.58 0.
time (sec) N/A 0.007 0.005 0.015 0. 0. 4.461 0.
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 10 0 0 73 0
normalized size 1 1. 1. 1. 0. 0. 7.3 0.
time (sec) N/A 0.005 0.019 0.018 0. 0. 8.395 0.
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 18 14 0 0 19 0
normalized size 1 1. 1.5 1.17 0. 0. 1.58 0.
time (sec) N/A 0.007 0.019 0.022 0. 0. 2.178 0.
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 13 0 0 0 0
normalized size 1 1. 1. 1.08 0. 0. 0. 0.
time (sec) N/A 0.007 0.006 0.022 0. 0. 0. 0.
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A F B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 26 8 0 169 22 26
normalized size 1 1. 3.25 1. 0. 21.12 2.75 3.25
time (sec) N/A 0.002 0.005 0.04 0. 1.985 2.661 1.086
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 13 0 0 17 0
normalized size 1 1. 1. 1.08 0. 0. 1.42 0.
time (sec) N/A 0.007 0.005 0.017 0. 0. 4.377 0.
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 11 0 0 39 0
normalized size 1 1. 1. 1.1 0. 0. 3.9 0.
time (sec) N/A 0.007 0.009 0.019 0. 0. 8.186 0.
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 13 0 0 17 0
normalized size 1 1. 1. 1.08 0. 0. 1.42 0.
time (sec) N/A 0.007 0.005 0.025 0. 0. 4.36 0.
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 19 17 0 0 0 0
normalized size 1 1. 0.37 0.33 0. 0. 0. 0.
time (sec) N/A 0.009 0.02 0.032 0. 0. 0. 0.
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 17 15 0 0 0 0
normalized size 1 1. 0.35 0.31 0. 0. 0. 0.
time (sec) N/A 0.009 0.028 0.02 0. 0. 0. 0.
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 19 17 0 0 0 0
normalized size 1 1. 0.37 0.33 0. 0. 0. 0.
time (sec) N/A 0.009 0.02 0.013 0. 0. 0. 0.
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B A C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 8 0 97 8 31
normalized size 1 1. 1. 1. 0. 12.12 1. 3.88
time (sec) N/A 0.002 0.003 0.027 0. 1.908 2.827 1.197
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 19 15 0 0 0 0
normalized size 1 1. 0.4 0.32 0. 0. 0. 0.
time (sec) N/A 0.009 0.018 0.022 0. 0. 0. 0.
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 19 14 0 0 0 0
normalized size 1 1. 1.9 1.4 0. 0. 0. 0.
time (sec) N/A 0.006 0.018 0.022 0. 0. 0. 0.
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 10 0 0 76 0
normalized size 1 1. 1. 1. 0. 0. 7.6 0.
time (sec) N/A 0.005 0.012 0.006 0. 0. 7.753 0.
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 19 0 0 36 0
normalized size 1 1. 1. 0.95 0. 0. 1.8 0.
time (sec) N/A 0.007 0.006 0.016 0. 0. 4.814 0.
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 15 0 0 41 0
normalized size 1 1. 1. 0.94 0. 0. 2.56 0.
time (sec) N/A 0.007 0.006 0.019 0. 0. 8.516 0.
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 19 0 0 36 0
normalized size 1 1. 1. 0.95 0. 0. 1.8 0.
time (sec) N/A 0.009 0.007 0.035 0. 0. 4.562 0.
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 37 0 0 0 0
normalized size 1 1. 1. 1.16 0. 0. 0. 0.
time (sec) N/A 0.014 0.022 0.029 0. 0. 0. 0.
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 34 0 0 0 0
normalized size 1 1. 1. 1.13 0. 0. 0. 0.
time (sec) N/A 0.015 0.027 0.029 0. 0. 0. 0.
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 37 0 0 0 0
normalized size 1 1. 1. 1.16 0. 0. 0. 0.
time (sec) N/A 0.013 0.021 0.026 0. 0. 0. 0.
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 46 30 0 0 75 0
normalized size 1 1. 1.84 1.2 0. 0. 3. 0.
time (sec) N/A 0.011 0.01 0.019 0. 0. 8.348 0.
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 34 0 0 0 0
normalized size 1 1. 1. 1.06 0. 0. 0. 0.
time (sec) N/A 0.013 0.02 0.021 0. 0. 0. 0.
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 47 28 0 0 0 0
normalized size 1 1. 3.92 2.33 0. 0. 0. 0.
time (sec) N/A 0.007 0.022 0.02 0. 0. 0. 0.
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 40 24 0 97 0 0
normalized size 1 1. 1.38 0.83 0. 3.34 0. 0.
time (sec) N/A 0.003 0.011 0.007 0. 1.83 0. 0.
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 40 29 0 0 37 0
normalized size 1 1. 1.25 0.91 0. 0. 1.16 0.
time (sec) N/A 0.015 0.023 0.022 0. 0. 4.807 0.
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 36 27 0 0 42 0
normalized size 1 1. 1.2 0.9 0. 0. 1.4 0.
time (sec) N/A 0.015 0.029 0.023 0. 0. 8.983 0.
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 40 29 0 0 37 0
normalized size 1 1. 1.25 0.91 0. 0. 1.16 0.
time (sec) N/A 0.014 0.024 0.023 0. 0. 4.588 0.
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 39 36 0 0 0 0
normalized size 1 1. 0.74 0.68 0. 0. 0. 0.
time (sec) N/A 0.01 0.026 0.026 0. 0. 0. 0.
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 37 33 0 0 0 0
normalized size 1 1. 0.73 0.65 0. 0. 0. 0.
time (sec) N/A 0.01 0.028 0.021 0. 0. 0. 0.
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 39 36 0 0 0 0
normalized size 1 1. 0.74 0.68 0. 0. 0. 0.
time (sec) N/A 0.009 0.023 0.024 0. 0. 0. 0.
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 26 24 0 258 0 0
normalized size 1 1. 0.93 0.86 0. 9.21 0. 0.
time (sec) N/A 0.004 0.01 0.007 0. 1.849 0. 0.
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 53 33 0 0 0 0
normalized size 1 1. 1.08 0.67 0. 0. 0. 0.
time (sec) N/A 0.009 0.035 0.019 0. 0. 0. 0.
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 39 34 0 0 0 0
normalized size 1 1. 1.26 1.1 0. 0. 0. 0.
time (sec) N/A 0.016 0.025 0.02 0. 0. 0. 0.
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 65 48 30 0 0 73 0
normalized size 1 1.55 1.14 0.71 0. 0. 1.74 0.
time (sec) N/A 0.012 0.013 0.009 0. 0. 7.93 0.
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 40 34 0 0 0 0
normalized size 1 1. 1. 0.85 0. 0. 0. 0.
time (sec) N/A 0.016 0.024 0.019 0. 0. 0. 0.
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 36 34 0 0 44 0
normalized size 1 1. 1. 0.94 0. 0. 1.22 0.
time (sec) N/A 0.015 0.03 0.019 0. 0. 8.715 0.
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 40 34 0 0 0 0
normalized size 1 1. 1. 0.85 0. 0. 0. 0.
time (sec) N/A 0.015 0.027 0.023 0. 0. 0. 0.
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 87 106 0 0 0 0
normalized size 1 1. 1. 1.22 0. 0. 0. 0.
time (sec) N/A 0.053 0.056 0.01 0. 0. 0. 0.
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 90 171 0 0 0 0
normalized size 1 1. 1. 1.9 0. 0. 0. 0.
time (sec) N/A 0.052 0.048 0.015 0. 0. 0. 0.
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 88 168 0 0 0 0
normalized size 1 1. 1. 1.91 0. 0. 0. 0.
time (sec) N/A 0.049 0.05 0.012 0. 0. 0. 0.
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 91 110 0 0 0 0
normalized size 1 1. 1. 1.21 0. 0. 0. 0.
time (sec) N/A 0.054 0.043 0.01 0. 0. 0. 0.
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 88 109 0 0 0 0
normalized size 1 1. 1. 1.24 0. 0. 0. 0.
time (sec) N/A 0.052 0.056 0.012 0. 0. 0. 0.
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 89 165 0 0 0 0
normalized size 1 1. 1. 1.85 0. 0. 0. 0.
time (sec) N/A 0.053 0.051 0.018 0. 0. 0. 0.
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 89 166 0 0 0 0
normalized size 1 1. 1. 1.87 0. 0. 0. 0.
time (sec) N/A 0.055 0.047 0.012 0. 0. 0. 0.
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 90 111 0 0 0 0
normalized size 1 1. 1. 1.23 0. 0. 0. 0.
time (sec) N/A 0.052 0.046 0.009 0. 0. 0. 0.
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 86 158 0 0 0 0
normalized size 1 1. 0.44 0.81 0. 0. 0. 0.
time (sec) N/A 0.084 0.049 0. 0. 0. 0. 0.
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 89 104 0 0 0 0
normalized size 1 1. 0.44 0.51 0. 0. 0. 0.
time (sec) N/A 0.089 0.045 0.014 0. 0. 0. 0.
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 89 108 0 0 0 0
normalized size 1 1. 0.44 0.53 0. 0. 0. 0.
time (sec) N/A 0.092 0.051 0.013 0. 0. 0. 0.
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 92 165 0 0 0 0
normalized size 1 1. 0.43 0.78 0. 0. 0. 0.
time (sec) N/A 0.103 0.044 0.013 0. 0. 0. 0.
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 89 164 0 0 0 0
normalized size 1 1. 0.47 0.87 0. 0. 0. 0.
time (sec) N/A 0.125 0.05 0.012 0. 0. 0. 0.
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 90 109 0 0 0 0
normalized size 1 1. 0.47 0.57 0. 0. 0. 0.
time (sec) N/A 0.123 0.046 0.014 0. 0. 0. 0.
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 92 111 0 0 0 0
normalized size 1 1. 0.47 0.57 0. 0. 0. 0.
time (sec) N/A 0.128 0.054 0.009 0. 0. 0. 0.
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 198 198 93 167 0 0 0 0
normalized size 1 1. 0.47 0.84 0. 0. 0. 0.
time (sec) N/A 0.131 0.045 0.012 0. 0. 0. 0.
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 87 106 0 0 0 0
normalized size 1 1. 1. 1.22 0. 0. 0. 0.
time (sec) N/A 0.048 0.054 0.013 0. 0. 0. 0.
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 90 171 0 0 0 0
normalized size 1 1. 1. 1.9 0. 0. 0. 0.
time (sec) N/A 0.052 0.048 0.013 0. 0. 0. 0.
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 88 168 0 0 0 0
normalized size 1 1. 1. 1.91 0. 0. 0. 0.
time (sec) N/A 0.047 0.046 0.011 0. 0. 0. 0.
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 91 110 0 0 0 0
normalized size 1 1. 1. 1.21 0. 0. 0. 0.
time (sec) N/A 0.05 0.042 0.01 0. 0. 0. 0.
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 88 164 0 0 0 0
normalized size 1 1. 1. 1.86 0. 0. 0. 0.
time (sec) N/A 0.052 0.056 0.012 0. 0. 0. 0.
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 89 110 0 0 0 0
normalized size 1 1. 1. 1.24 0. 0. 0. 0.
time (sec) N/A 0.051 0.047 0.017 0. 0. 0. 0.
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 89 110 0 0 0 0
normalized size 1 1. 1. 1.24 0. 0. 0. 0.
time (sec) N/A 0.051 0.048 0.012 0. 0. 0. 0.
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 90 167 0 0 0 0
normalized size 1 1. 1. 1.86 0. 0. 0. 0.
time (sec) N/A 0.052 0.041 0.012 0. 0. 0. 0.
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 86 101 0 0 0 0
normalized size 1 1. 0.42 0.5 0. 0. 0. 0.
time (sec) N/A 0.088 0.043 0.001 0. 0. 0. 0.
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 89 161 0 0 0 0
normalized size 1 1. 0.42 0.75 0. 0. 0. 0.
time (sec) N/A 0.096 0.045 0.013 0. 0. 0. 0.
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 89 162 0 0 0 0
normalized size 1 1. 0.42 0.76 0. 0. 0. 0.
time (sec) N/A 0.097 0.05 0.013 0. 0. 0. 0.
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 222 222 92 111 0 0 0 0
normalized size 1 1. 0.41 0.5 0. 0. 0. 0.
time (sec) N/A 0.103 0.048 0.012 0. 0. 0. 0.
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 89 164 0 0 0 0
normalized size 1 1. 0.47 0.87 0. 0. 0. 0.
time (sec) N/A 0.121 0.05 0.011 0. 0. 0. 0.
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 90 109 0 0 0 0
normalized size 1 1. 0.47 0.57 0. 0. 0. 0.
time (sec) N/A 0.122 0.046 0.014 0. 0. 0. 0.
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 92 111 0 0 0 0
normalized size 1 1. 0.47 0.57 0. 0. 0. 0.
time (sec) N/A 0.125 0.049 0.012 0. 0. 0. 0.
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 198 198 93 167 0 0 0 0
normalized size 1 1. 0.47 0.84 0. 0. 0. 0.
time (sec) N/A 0.129 0.045 0.012 0. 0. 0. 0.
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 37 38 0 0 0 0
normalized size 1 1. 0.47 0.49 0. 0. 0. 0.
time (sec) N/A 0.014 0.012 0.023 0. 0. 0. 0.
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 40 38 0 0 20 0
normalized size 1 1. 1.03 0.97 0. 0. 0.51 0.
time (sec) N/A 0.02 0.038 0.022 0. 0. 2.215 0.
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 47 53 0 0 0 0
normalized size 1 1. 0.77 0.87 0. 0. 0. 0.
time (sec) N/A 0.012 0.035 0.017 0. 0. 0. 0.
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 6 6 27 25 0 0 0 0
normalized size 1 1. 4.5 4.17 0. 0. 0. 0.
time (sec) N/A 0.006 0.025 0.016 0. 0. 0. 0.
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 24 28 0 0 0 0
normalized size 1 1. 1.04 1.22 0. 0. 0. 0.
time (sec) N/A 0.025 0.009 0.015 0. 0. 0. 0.
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 182 182 37 37 0 0 0 0
normalized size 1 1. 0.2 0.2 0. 0. 0. 0.
time (sec) N/A 0.075 0.009 0. 0. 0. 0. 0.
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 35 37 0 0 0 0
normalized size 1 1. 1.84 1.95 0. 0. 0. 0.
time (sec) N/A 0.007 0.026 0.014 0. 0. 0. 0.
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 95 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.132 0.108 0.23 0. 0. 0. 0.
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 95 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.102 0.087 0.162 0. 0. 0. 0.
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 478 478 102 0 0 0 0 0
normalized size 1 1. 0.21 0. 0. 0. 0. 0.
time (sec) N/A 0.367 0.117 0.159 0. 0. 0. 0.
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 215 215 102 0 0 0 0 0
normalized size 1 1. 0.47 0. 0. 0. 0. 0.
time (sec) N/A 0.208 0.09 0.115 0. 0. 0. 0.
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A C C F F F F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 62 23 122 0 0 0 0 0
normalized size 1 0.37 1.97 0. 0. 0. 0. 0.
time (sec) N/A 0.011 0.124 0.04 0. 0. 0. 0.
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 48 117 0 0 0 0
normalized size 1 1. 1.04 2.54 0. 0. 0. 0.
time (sec) N/A 0.041 0.082 0.106 0. 0. 0. 0.
Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 47 47 81 207 0 0 0 0
normalized size 1 1. 1.72 4.4 0. 0. 0. 0.
time (sec) N/A 0.062 0.147 0.181 0. 0. 0. 0.
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 129 129 135 0 0 1520 0 0
normalized size 1 1. 1.05 0. 0. 11.78 0. 0.
time (sec) N/A 0.019 0.107 0.026 0. 27.794 0. 0.
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 120 120 135 0 0 1553 0 0
normalized size 1 1. 1.12 0. 0. 12.94 0. 0.
time (sec) N/A 0.016 0.121 0.051 0. 28.216 0. 0.
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 129 129 144 0 0 2201 0 0
normalized size 1 1. 1.12 0. 0. 17.06 0. 0.
time (sec) N/A 0.023 0.131 0.037 0. 72.549 0. 0.
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 124 124 145 0 0 2229 0 0
normalized size 1 1. 1.17 0. 0. 17.98 0. 0.
time (sec) N/A 0.02 0.132 0.04 0. 73.024 0. 0.
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 120 120 155 0 0 826 0 0
normalized size 1 1. 1.29 0. 0. 6.88 0. 0.
time (sec) N/A 0.02 0.14 0.043 0. 58.606 0. 0.
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 120 120 155 0 0 836 0 0
normalized size 1 1. 1.29 0. 0. 6.97 0. 0.
time (sec) N/A 0.017 0.153 0.044 0. 62.845 0. 0.
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 120 120 165 0 0 0 0 0
normalized size 1 1. 1.38 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.149 0.044 0. 0. 0. 0.
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 124 124 162 0 0 0 0 0
normalized size 1 1. 1.31 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.153 0.044 0. 0. 0. 0.
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 61 61 127 0 0 281 0 0
normalized size 1 1. 2.08 0. 0. 4.61 0. 0.
time (sec) N/A 0.009 0.137 0.068 0. 30.872 0. 0.
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 61 61 127 0 0 683 0 0
normalized size 1 1. 2.08 0. 0. 11.2 0. 0.
time (sec) N/A 0.01 0.124 0.027 0. 25.743 0. 0.
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 77 77 132 0 0 701 0 0
normalized size 1 1. 1.71 0. 0. 9.1 0. 0.
time (sec) N/A 0.013 0.158 0.039 0. 77.966 0. 0.
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 137 0 0 675 0 0
normalized size 1 1. 1.73 0. 0. 8.54 0. 0.
time (sec) N/A 0.014 0.143 0.037 0. 85.168 0. 0.
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 85 85 157 0 0 826 0 0
normalized size 1 1. 1.85 0. 0. 9.72 0. 0.
time (sec) N/A 0.018 0.16 0.042 0. 64.075 0. 0.
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 85 85 157 0 0 838 0 0
normalized size 1 1. 1.85 0. 0. 9.86 0. 0.
time (sec) N/A 0.014 0.147 0.04 0. 54.896 0. 0.
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 101 101 163 0 0 0 0 0
normalized size 1 1. 1.61 0. 0. 0. 0. 0.
time (sec) N/A 0.019 0.157 0.043 0. 0. 0. 0.
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 103 103 168 0 0 0 0 0
normalized size 1 1. 1.63 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.156 0.043 0. 0. 0. 0.
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 53 53 115 0 0 254 0 0
normalized size 1 1. 2.17 0. 0. 4.79 0. 0.
time (sec) N/A 0.008 0.137 0.055 0. 23.335 0. 0.
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 362 362 346 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.265 0.466 0.064 0. 0. 0. 0.
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 302 302 348 0 0 0 0 0
normalized size 1 1. 1.15 0. 0. 0. 0. 0.
time (sec) N/A 0.207 0.48 0.061 0. 0. 0. 0.
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 244 244 161 0 0 0 0 0
normalized size 1 1. 0.66 0. 0. 0. 0. 0.
time (sec) N/A 0.15 0.158 0.041 0. 0. 0. 0.
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 199 199 160 0 0 0 0 0
normalized size 1 1. 0.8 0. 0. 0. 0. 0.
time (sec) N/A 0.147 0.154 0.041 0. 0. 0. 0.
Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 167 167 160 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.108 0.053 0.038 0. 0. 0. 0.
Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 123 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.118 0.037 0.043 0. 0. 0. 0.
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 233 233 327 0 0 0 0 0
normalized size 1 1. 1.4 0. 0. 0. 0. 0.
time (sec) N/A 0.16 0.269 0.041 0. 0. 0. 0.
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 254 254 331 0 0 0 0 0
normalized size 1 1. 1.3 0. 0. 0. 0. 0.
time (sec) N/A 0.157 0.274 0.043 0. 0. 0. 0.
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 274 274 419 0 0 0 0 0
normalized size 1 1. 1.53 0. 0. 0. 0. 0.
time (sec) N/A 0.382 0.704 0.043 0. 0. 0. 0.
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 304 304 431 0 0 0 0 0
normalized size 1 1. 1.42 0. 0. 0. 0. 0.
time (sec) N/A 0.343 0.81 0.041 0. 0. 0. 0.
Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 340 340 340 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.294 0.336 0.049 0. 0. 0. 0.
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 279 279 341 0 0 0 0 0
normalized size 1 1. 1.22 0. 0. 0. 0. 0.
time (sec) N/A 0.271 0.33 0.048 0. 0. 0. 0.
Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 309 309 232 0 0 0 0 0
normalized size 1 1. 0.75 0. 0. 0. 0. 0.
time (sec) N/A 0.222 0.203 0.046 0. 0. 0. 0.
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 278 278 232 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.206 0.193 0.046 0. 0. 0. 0.
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 336 336 392 0 0 0 0 0
normalized size 1 1. 1.17 0. 0. 0. 0. 0.
time (sec) N/A 0.255 0.243 0.044 0. 0. 0. 0.
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 292 292 336 0 0 0 0 0
normalized size 1 1. 1.15 0. 0. 0. 0. 0.
time (sec) N/A 0.231 0.346 0.044 0. 0. 0. 0.
Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 314 314 380 0 0 0 0 0
normalized size 1 1. 1.21 0. 0. 0. 0. 0.
time (sec) N/A 0.395 0.498 0.044 0. 0. 0. 0.
Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 345 345 387 0 0 0 0 0
normalized size 1 1. 1.12 0. 0. 0. 0. 0.
time (sec) N/A 0.382 0.538 0.045 0. 0. 0. 0.
Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 371 371 536 0 0 0 0 0
normalized size 1 1. 1.44 0. 0. 0. 0. 0.
time (sec) N/A 0.552 1.092 0.047 0. 0. 0. 0.
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 419 419 550 0 0 0 0 0
normalized size 1 1. 1.31 0. 0. 0. 0. 0.
time (sec) N/A 0.484 0.975 0.045 0. 0. 0. 0.
Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 172 0 0 0 0 0
normalized size 1 1. 2.18 0. 0. 0. 0. 0.
time (sec) N/A 0.043 0.221 0.076 0. 0. 0. 0.
Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 296 296 136 0 0 0 121 0
normalized size 1 1. 0.46 0. 0. 0. 0.41 0.
time (sec) N/A 0.276 5.063 0.053 0. 0. 52.59 0.
Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 106 0 0 0 88 0
normalized size 1 1. 0.6 0. 0. 0. 0.5 0.
time (sec) N/A 0.121 5.042 0.043 0. 0. 22.861 0.
Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 85 90 0 0 0 53 0
normalized size 1 0.91 0.97 0. 0. 0. 0.57 0.
time (sec) N/A 0.039 0.029 0.03 0. 0. 10.705 0.
Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 44 0 0 0 22 0
normalized size 1 1. 1. 0. 0. 0. 0.5 0.
time (sec) N/A 0.009 0.003 0.002 0. 0. 2.459 0.
Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0
normalized size 1 1. 2.84 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.178 0.049 0. 0. 0. 0.
Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0
normalized size 1 1. 2.84 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.179 0.051 0. 0. 0. 0.
Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0
normalized size 1 1. 2.84 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.235 0.076 0. 0. 0. 0.
Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 52 71 0 182 0 0
normalized size 1 1. 0.98 1.34 0. 3.43 0. 0.
time (sec) N/A 0.02 0.031 0.004 0. 1.677 0. 0.

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [329] had the largest ratio of [ 0.4286 ]

Table 2.1Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)
1 A 2 1 1. 17 0.059
2 A 2 1 1. 17 0.059
3 A 2 1 1. 17 0.059
4 A 2 1 1. 15 0.067
5 A 2 2 1. 17 0.118
6 A 2 2 1. 17 0.118
7 A 3 3 1. 17 0.176
8 A 2 1 1. 19 0.053
9 A 2 1 1. 19 0.053
10 A 2 1 1. 17 0.059
11 A 3 2 1. 19 0.105
12 A 4 3 1. 19 0.158
13 A 3 3 1. 19 0.158
14 A 2 1 1. 19 0.053
15 A 2 1 1. 19 0.053
16 A 2 1 1. 17 0.059
17 A 3 2 1. 19 0.105
18 A 4 3 1. 19 0.158
19 A 5 4 1. 19 0.21
20 A 3 2 1. 19 0.105
21 A 3 2 1. 19 0.105
22 A 3 2 1. 19 0.105
23 A 2 2 1. 17 0.118
24 A 3 2 1. 19 0.105
25 A 4 3 1. 19 0.158
26 A 5 4 1. 19 0.21
27 A 4 3 1. 19 0.158
28 A 4 3 1. 19 0.158
29 A 4 3 1. 19 0.158
30 A 4 3 1. 19 0.158
31 A 2 2 1. 17 0.118
32 A 4 3 1. 19 0.158
33 A 5 4 1. 19 0.21
34 A 6 4 1. 19 0.21
35 A 5 4 1. 19 0.21
36 A 5 4 1. 19 0.21
37 A 5 4 1. 19 0.21
38 A 3 3 1. 19 0.158
39 A 3 3 1. 17 0.176
40 A 5 4 1. 19 0.21
41 A 6 4 1. 19 0.21
42 A 7 4 1. 19 0.21
43 A 3 3 1. 15 0.2
44 A 5 3 1. 15 0.2
45 A 6 6 1. 21 0.286
46 A 5 5 1. 21 0.238
47 A 4 4 1. 19 0.21
48 A 3 3 1. 11 0.273
49 A 5 5 1. 21 0.238
50 A 3 3 1. 21 0.143
51 A 4 4 1. 21 0.19
52 A 6 5 1. 21 0.238
53 A 7 6 1. 21 0.286
54 A 6 5 1. 21 0.238
55 A 5 4 1. 19 0.21
56 A 4 3 1. 11 0.273
57 A 6 6 1. 21 0.286
58 A 6 6 1. 21 0.286
59 A 4 3 1. 21 0.143
60 A 5 4 1. 21 0.19
61 A 7 5 1. 21 0.238
62 A 8 6 1. 21 0.286
63 A 7 5 1. 21 0.238
64 A 6 4 1. 19 0.21
65 A 5 3 1. 11 0.273
66 A 7 7 1. 21 0.333
67 A 7 7 1. 21 0.333
68 A 7 7 1. 21 0.333
69 A 5 3 1. 21 0.143
70 A 6 4 1. 21 0.19
71 A 4 4 1. 19 0.21
72 A 4 4 1. 17 0.235
73 A 4 4 1. 21 0.19
74 A 5 5 1. 21 0.238
75 A 4 4 1. 21 0.19
76 A 3 3 1. 19 0.158
77 A 2 2 1. 11 0.182
78 A 2 2 1. 21 0.095
79 A 3 3 1. 21 0.143
80 A 5 5 1. 21 0.238
81 A 6 5 1. 21 0.238
82 A 5 5 1. 21 0.238
83 A 4 4 1.17 21 0.19
84 A 3 3 1. 19 0.158
85 A 1 1 1. 11 0.091
86 A 3 3 1. 21 0.143
87 A 5 5 1. 21 0.238
88 A 6 5 1. 21 0.238
89 A 6 6 1. 21 0.286
90 A 5 5 1. 21 0.238
91 A 4 4 1. 21 0.19
92 A 2 2 1. 19 0.105
93 A 2 2 1. 11 0.182
94 A 5 5 1. 21 0.238
95 A 6 5 1. 21 0.238
96 A 7 5 1. 21 0.238
97 A 5 3 1. 21 0.143
98 A 4 3 1. 21 0.143
99 A 3 3 1. 19 0.158
100 A 2 2 1. 11 0.182
101 A 3 3 1. 21 0.143
102 A 3 3 1. 21 0.143
103 A 4 4 1. 21 0.19
104 A 5 4 1. 21 0.19
105 A 2 2 1. 26 0.077
106 A 2 2 1. 19 0.105
107 A 2 2 1. 21 0.095
108 A 2 2 1. 15 0.133
109 A 8 8 1. 24 0.333
110 A 7 7 1. 24 0.292
111 A 6 6 1. 22 0.273
112 A 6 6 1. 24 0.25
113 A 6 6 1. 24 0.25
114 A 8 8 1. 24 0.333
115 A 9 8 1. 24 0.333
116 A 9 8 1. 24 0.333
117 A 8 7 1. 24 0.292
118 A 7 6 1. 22 0.273
119 A 7 7 1. 24 0.292
120 A 7 7 1. 24 0.292
121 A 9 9 1. 24 0.375
122 A 8 7 1. 24 0.292
123 A 7 7 1. 24 0.292
124 A 6 6 1. 24 0.25
125 A 5 5 1. 22 0.227
126 A 1 1 1. 24 0.042
127 A 7 7 1. 24 0.292
128 A 8 8 1. 24 0.333
129 A 7 7 1. 24 0.292
130 A 6 6 1. 24 0.25
131 A 5 5 1. 22 0.227
132 A 7 7 1. 24 0.292
133 A 8 8 1. 24 0.333
134 A 9 8 1. 24 0.333
135 A 8 8 1. 24 0.333
136 A 7 7 1. 24 0.292
137 A 2 2 1. 24 0.083
138 A 6 6 1. 22 0.273
139 A 8 8 1. 24 0.333
140 A 9 8 1. 24 0.333
141 A 1 1 1. 26 0.038
142 A 1 1 1. 24 0.042
143 A 1 1 1. 23 0.043
144 A 1 1 1. 24 0.042
145 A 1 1 1. 22 0.045
146 A 1 1 1. 19 0.053
147 A 1 1 1. 19 0.053
148 A 1 1 1. 24 0.042
149 A 1 1 1. 22 0.045
150 A 1 1 1. 27 0.037
151 A 1 1 1. 28 0.036
152 A 1 1 1. 29 0.034
153 A 1 1 1. 30 0.033
154 A 1 1 1. 26 0.038
155 A 1 1 1. 26 0.038
156 A 1 1 1. 23 0.043
157 A 1 1 1. 23 0.043
158 A 1 1 1. 23 0.043
159 A 1 1 1. 23 0.043
160 A 1 1 1. 17 0.059
161 A 1 1 1. 21 0.048
162 A 1 1 1. 21 0.048
163 A 3 3 1.15 29 0.103
164 A 3 3 1.23 29 0.103
165 A 3 3 1.2 29 0.103
166 A 6 6 1. 23 0.261
167 A 5 5 1. 23 0.217
168 A 4 4 1. 23 0.174
169 A 1 1 1. 23 0.043
170 A 4 4 1. 23 0.174
171 A 5 5 1. 23 0.217
172 A 7 6 1. 23 0.261
173 A 6 6 1. 23 0.261
174 A 5 5 1. 23 0.217
175 A 5 5 1. 23 0.217
176 A 4 4 1. 23 0.174
177 A 5 5 1. 23 0.217
178 A 5 5 1. 23 0.217
179 A 3 3 1. 23 0.13
180 A 2 1 1. 23 0.043
181 A 4 4 1. 23 0.174
182 A 5 5 1. 23 0.217
183 A 4 4 1. 21 0.19
184 A 1 1 1. 23 0.043
185 A 1 1 1. 23 0.043
186 A 1 1 1. 23 0.043
187 A 1 1 1. 21 0.048
188 A 1 1 1. 21 0.048
189 A 1 1 1. 21 0.048
190 A 1 1 1. 23 0.043
191 A 4 4 1. 21 0.19
192 A 3 3 1. 23 0.13
193 A 3 3 1. 23 0.13
194 A 3 3 1. 23 0.13
195 A 4 4 1. 21 0.19
196 A 4 4 1. 21 0.19
197 A 4 4 1. 23 0.174
198 A 2 2 1. 23 0.087
199 A 7 6 1. 23 0.261
200 A 6 6 1. 23 0.261
201 A 5 5 1. 23 0.217
202 A 4 4 1. 23 0.174
203 A 1 1 1. 23 0.043
204 A 6 6 1. 23 0.261
205 A 4 4 1. 23 0.174
206 A 5 5 1. 23 0.217
207 A 7 6 1. 23 0.261
208 A 6 6 1. 23 0.261
209 A 5 5 1. 23 0.217
210 A 1 1 1. 23 0.043
211 A 6 6 1. 23 0.261
212 A 4 4 1. 23 0.174
213 A 5 5 1. 23 0.217
214 A 1 1 1. 23 0.043
215 A 3 2 1. 24 0.083
216 A 3 2 1. 24 0.083
217 A 3 2 1. 25 0.08
218 A 1 1 1. 23 0.043
219 A 1 1 1. 23 0.043
220 A 1 1 1. 23 0.043
221 A 2 2 1. 23 0.087
222 A 1 1 1. 21 0.048
223 A 1 1 1. 23 0.043
224 A 2 2 1. 23 0.087
225 A 1 1 1. 23 0.043
226 A 1 1 1. 23 0.043
227 A 1 1 1. 23 0.043
228 A 1 1 1. 21 0.048
229 A 1 1 1. 21 0.048
230 A 1 1 1. 21 0.048
231 A 2 2 1. 21 0.095
232 A 1 1 1. 19 0.053
233 A 1 1 1. 21 0.048
234 A 2 2 1. 21 0.095
235 A 1 1 1. 21 0.048
236 A 1 1 1. 21 0.048
237 A 1 1 1. 21 0.048
238 A 2 2 1. 21 0.095
239 A 2 2 1. 21 0.095
240 A 2 2 1. 21 0.095
241 A 2 2 1. 21 0.095
242 A 2 2 1. 19 0.105
243 A 1 1 1. 21 0.048
244 A 2 2 1. 21 0.095
245 A 2 2 1. 21 0.095
246 A 2 2 1. 21 0.095
247 A 2 2 1. 21 0.095
248 A 1 1 1. 23 0.043
249 A 1 1 1. 23 0.043
250 A 1 1 1. 23 0.043
251 A 2 2 1. 23 0.087
252 A 1 1 1. 21 0.048
253 A 2 2 1. 23 0.087
254 A 2 2 1.55 23 0.087
255 A 2 2 1. 23 0.087
256 A 2 2 1. 23 0.087
257 A 2 2 1. 23 0.087
258 A 3 3 1. 24 0.125
259 A 3 3 1. 27 0.111
260 A 3 3 1. 25 0.12
261 A 3 3 1. 28 0.107
262 A 3 3 1. 25 0.12
263 A 3 3 1. 26 0.115
264 A 3 3 1. 26 0.115
265 A 3 3 1. 27 0.111
266 A 4 4 1. 23 0.174
267 A 4 4 1. 26 0.154
268 A 4 4 1. 26 0.154
269 A 4 4 1. 29 0.138
270 A 7 6 1. 24 0.25
271 A 7 6 1. 25 0.24
272 A 7 6 1. 27 0.222
273 A 7 6 1. 28 0.214
274 A 3 3 1. 24 0.125
275 A 3 3 1. 27 0.111
276 A 3 3 1. 25 0.12
277 A 3 3 1. 28 0.107
278 A 3 3 1. 25 0.12
279 A 3 3 1. 26 0.115
280 A 3 3 1. 26 0.115
281 A 3 3 1. 27 0.111
282 A 4 4 1. 23 0.174
283 A 4 4 1. 26 0.154
284 A 4 4 1. 26 0.154
285 A 4 4 1. 29 0.138
286 A 7 6 1. 24 0.25
287 A 7 6 1. 25 0.24
288 A 7 6 1. 27 0.222
289 A 7 6 1. 28 0.214
290 A 1 1 1. 23 0.043
291 A 2 2 1. 23 0.087
292 A 1 1 1. 21 0.048
293 A 1 1 1. 23 0.043
294 A 4 4 1. 28 0.143
295 A 4 4 1. 23 0.174
296 A 1 1 1. 23 0.043
297 A 1 1 1. 59 0.017
298 A 1 1 1. 59 0.017
299 A 4 4 1. 59 0.068
300 A 3 3 1. 59 0.051
301 C 1 1 0.37 21 0.048
302 A 2 2 1. 26 0.077
303 A 1 1 1. 41 0.024
304 A 1 1 1. 21 0.048
305 A 1 1 1. 21 0.048
306 A 1 1 1. 21 0.048
307 A 1 1 1. 23 0.043
308 A 1 1 1. 23 0.043
309 A 1 1 1. 23 0.043
310 A 1 1 1. 23 0.043
311 A 1 1 1. 25 0.04
312 A 1 1 1. 21 0.048
313 A 1 1 1. 21 0.048
314 A 1 1 1. 21 0.048
315 A 1 1 1. 23 0.043
316 A 1 1 1. 25 0.04
317 A 1 1 1. 25 0.04
318 A 1 1 1. 25 0.04
319 A 1 1 1. 27 0.037
320 A 1 1 1. 19 0.053
321 A 13 8 1. 21 0.381
322 A 12 8 1. 21 0.381
323 A 8 7 1. 21 0.333
324 A 8 7 1. 21 0.333
325 A 4 3 1. 21 0.143
326 A 5 4 1. 21 0.19
327 A 7 6 1. 21 0.286
328 A 9 8 1. 21 0.381
329 A 10 9 1. 21 0.429
330 A 10 9 1. 21 0.429
331 A 9 8 1. 21 0.381
332 A 9 8 1. 21 0.381
333 A 9 8 1. 21 0.381
334 A 9 8 1. 21 0.381
335 A 9 8 1. 21 0.381
336 A 9 8 1. 21 0.381
337 A 10 9 1. 21 0.429
338 A 10 9 1. 21 0.429
339 A 11 9 1. 21 0.429
340 A 11 9 1. 21 0.429
341 A 3 2 1. 19 0.105
342 A 5 5 1. 19 0.263
343 A 4 4 1. 19 0.21
344 A 3 3 0.91 17 0.176
345 A 2 2 1. 9 0.222
346 A 2 2 1. 19 0.105
347 A 2 2 1. 19 0.105
348 A 2 2 1. 19 0.105
349 A 1 1 1. 50 0.02

[next] [prev] [prev-tail] [front] [up]